大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书(共4723本)

Eco-friendly Computing and Communication Systems [electronic resource] : International Conference, ICECCS 2012, Kochi, India, August 9-11, 2012. Proceedings

0
索取号：
作者：Mathew、 Jimson.、Patra、 Priyadarshan.、Pradhan、 Dhiraj K.、Kuttyamma、 A. J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Inductive Logic Programming [electronic resource] : 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 鈥ugust 3, 2011, Revised Selected Papers

0
索取号：
作者：Muggleton、 Stephen H.、Tamaddoni-Nezhad、 Alireza.、Lisi、 Francesca A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Service-Oriented Computing - ICSOC 2011 Workshops [electronic resource] : ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events, Paphos, Cyprus, December 5-8, 2011. Revised Selected Papers

0
索取号：
作者：Pallis、 George.、Jmaiel、 Mohamed.、Charfi、 Anis.、Graupner、 Sven.、Karabulut、 Y眉cel.、Guinea、 Sam.、Rosenberg、 Florian.、Sheng、 Quan Z.、Pautasso、 Cesare.、Mokhtar、 Sonia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Emerging Intelligent Computing Technology and Applications [electronic resource] : 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings

0
索取号：
作者：Huang、 De-Shuang.、Gupta、 Phalguni.、Zhang、 Xiang.、Premaratne、 Prashan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Agents and Peer-to-Peer Computing [electronic resource] : 7th International Workshop, AP2PC 2008, Estoril, Portugal, May 13, 2008 and 8th International Workshop, AP2PC 2009, Budapest, Hungary, May 11, 2009. Revised Selected Papers

0
索取号：
作者：Beneventano、 Domenico.、Despotovic、 Zoran.、Guerra、 Francesco.、Joseph、 Sam.、Moro、 Gianluca.、Pinninck、 Adri谩n Perreau.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Virtual and Networked Organizations, Emergent Technologies and Tools [electronic resource] : First International Conference, ViNOrg 2011, Ofir, Portugal, July 6-8, 2011. Revised Selected Papers

0
索取号：
作者：Putnik、 Goran D.、Cruz-Cunha、 Maria Manuela.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Model Checking Software [electronic resource] : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

0
索取号：
作者：Donaldson、 Alastair.、Parker、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Web Engineering [electronic resource] : 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings

0
索取号：
作者：Brambilla、 Marco.、Tokuda、 Takehiro.、Tolksdorf、 Robert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Computational Intelligence [electronic resource] : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012, Proceedings, Part IV

0
索取号：
作者：Greco、 Salvatore.、Bouchon-Meunier、 Bernadette.、Coletti、 Giulianella.、Fedrizzi、 Mario.、Matarazzo、 Benedetto.、Yager、 Ronald R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Computational Intelligence [electronic resource] : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012, Proceedings, Part III

0
索取号：
作者：Greco、 Salvatore.、Bouchon-Meunier、 Bernadette.、Coletti、 Giulianella.、Fedrizzi、 Mario.、Matarazzo、 Benedetto.、Yager、 Ronald R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Computational Intelligence [electronic resource] : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012. Proceedings, Part II

0
索取号：
作者：Greco、 Salvatore.、Bouchon-Meunier、 Bernadette.、Coletti、 Giulianella.、Fedrizzi、 Mario.、Matarazzo、 Benedetto.、Yager、 Ronald R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances on Computational Intelligence [electronic resource] : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012. Proceedings, Part I

0
索取号：
作者：Greco、 Salvatore.、Bouchon-Meunier、 Bernadette.、Coletti、 Giulianella.、Fedrizzi、 Mario.、Matarazzo、 Benedetto.、Yager、 Ronald R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Privacy Enhancing Technologies [electronic resource] : 12th International Symposium, PETS 2012, Vigo, Spain, July 11-13, 2012. Proceedings

0
索取号：
作者：Fischer-H眉bner、 Simone.、Wright、 Matthew.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Arithmetic of Finite Fields [electronic resource] : 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings

0
索取号：
作者：脰zbudak、 Ferruh.、Rodr铆guez-Henr铆quez、 Francisco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Ad-hoc, Mobile, and Wireless Networks [electronic resource] : 11th International Conference, ADHOC-NOW 2012, Belgrade, Serbia, July 9-11, 2012. Proceedings

0
索取号：
作者：Li、 Xiang-Yang.、Papavassiliou、 Symeon.、Ruehrup、 Stefan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Descriptional Complexity of Formal Systems [electronic resource] : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings

0
索取号：
作者：Kutrib、 Martin.、Moreira、 Nelma.、Reis、 Rog茅rio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.